🧮 Theoretical Computer Science - matmat · Scour

What every computer science major should know

matt.might.net·11h·

Discuss: Hacker News

🔩Systems Programming

Microscopic Structure of Random 3-SAT: A Discrete Geometric Approach to Phase Transitions and Algorithmic Complexity

arxiv.org·1d

💎Information Crystallography

A rather disorganized rant about LLMs

boston.conman.org·5h

Differential Logic • 15

inquiryintoinquiry.com·17h

⚔️Lean Theorem

en.wikipedia.org·1h·

Discuss: Hacker News

🧠Lisp Dialects

math.columbia.edu·18h

🎼Audio Lambda Calculus

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·12h·

Discuss: Hacker News

🧬Functional Programming

On This Day in Math

pballew.blogspot.com·5h·

Discuss: Blogger

📚Archive Mathematics

extended von Neumann algebra in nLab

ncatlab.org·15h

📚Archive Algebras

G\"odel-McKinsey-Tarski and (not quite) Blok-Esakia for Heyting-Lewis Implication

arxiv.org·1d

🔤Type Theory

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·14h

🌊Stream Processing

en.wikipedia.org·1d

⚙️systems theory

Online Philosophy Resources Weekly Update

dailynous.com·1d

🏛️Philosophy

State of Knuckledragger III: Kernel Changes, Symbolic Union, AI, and more

philipzucker.com·1d

⚔️Lean Tactics

The Worst Language Won

theoryvc.com·3h·

Discuss: Hacker News

📊APL Heritage

Monuses and Heaps

doisinkidney.com·11h

🧮Algebraic Datatypes

A vision of computing in the near future

terracrypt.net·1d

🏠Homelab Archaeology

11011110.github.io·2d

🕳️Persistent Homology

Gödel, slowly …

logicmatters.net·2d

λLambda Formalization

news.ycombinator.com·2d·

Discuss: Hacker News

🚀SIMD Text Processing

Loading more...